Nuprl Definition : qsub 11,40
r - s == r + -(s) 
latex

clarification:

r - s == r + ((-1) * s) 
latex

Definitions#$n, -n, r * s, r + s
FDL editor aliasesqsub

origin